Reusing Model Transformations While Preserving Properties
نویسندگان
چکیده
Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformations must be verified to ensure they behave as desired. Simultaneously, transformations may be reused as requirements evolve. In this paper we present novel algorithms to determine if a reused transformation preserves the same properties as the original, without expensive re-verification. We define a type of behavioral equivalence, called lifting equivalence, relating an original transformation to its reused version. A reused transformation that is equivalent to the original will preserve all compatible universally quantified properties. We describe efficient algorithms for verifying lifting equivalence, which we have implemented in our FORMULA [1, 2] framework.
منابع مشابه
Some Observations on Dirac Measure-Preserving Transformations and their Results
Dirac measure is an important measure in many related branches to mathematics. The current paper characterizes measure-preserving transformations between two Dirac measure spaces or a Dirac measure space and a probability measure space. Also, it studies isomorphic Dirac measure spaces, equivalence Dirac measure algebras, and conjugate of Dirac measure spaces. The equivalence classes of a Dirac ...
متن کاملOn Infinitesimal Conformal Transformations of the Tangent Bundles with the Generalized Metric
Let be an n-dimensional Riemannian manifold, and be its tangent bundle with the lift metric. Then every infinitesimal fiber-preserving conformal transformation induces an infinitesimal homothetic transformation on . Furthermore, the correspondence gives a homomorphism of the Lie algebra of infinitesimal fiber-preserving conformal transformations on onto the Lie algebra of infinitesimal ...
متن کاملDouble Ergodicity of Nonsingular Transformations and In nite measure-preserving Staircase Transformations
A nonsingular transformation is said to be doubly ergodic if for all sets A and B of positive measure there exists an integer n > 0 such that (T n(A) \ A) > 0 and (T n(A) \ B) > 0. While double ergodicity is equivalent to weak mixing for nite measure-preserving transformations, we show that this is not the case for in nite measure preserving transformations. We show that all measure-preserving ...
متن کاملReusing Model Transformations across Heterogeneous Metamodels
Model transformations are key enablers for multi-paradigm modeling. However, currently there is little support for reusing transformations in different contexts since they are tightly coupled to the metamodels they are defined upon, and hence reusing them for other metamodels becomes challenging. Inspired from generic programming, we proposed generic model-to-model transformations, which are de...
متن کاملOn inverse subsemigroups of the semigroup of orientation-preserving or orientation-reversing transformations
It is well-known [16] that the semigroup Tn of all total transformations of a given n-element set Xn is covered by its inverse subsemigroups. This note provides a short and direct proof, based on properties of digraphs of transformations, that every inverse subsemigroup of order-preserving transformations on a finite chain Xn is a semilattice of idempotents, and so the semigroup of all order-pr...
متن کامل